Search Results
EPIT Spring School on HoTT: Bas Spitters Part 2 (h-Levels, type classes and HITs)
EPIT Spring School on HoTT: Bas Spitters Part 3 (Quotients and impredicativity, Axioms )
On the Category of hSets - Bas Spitters
Keynote talk by Bas Spitters: Verified Oak Smart Contracts
Sollicitatiegesprek 1 Bas Spitters
Carlo Angiuli - Homotopy Type Theory 101
